PDF Document

Source URL: distribution.nbni.co.uk

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi

Source URL: www.turing.ac.uk

• Economy
• Business
• Mathematics
• Alan Turing
• Small and medium-sized enterprises
• Gay men
• Artificial intelligence
• European Digital SME Alliance

PDF Document

Source URL: www.cl.cam.ac.uk

• Mathematical proof
• Isabelle

Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• Control flow
• High-level programming languages
• Programming language comparisons
• Programming language syntax
• Eval
• JavaScript
• Scope
• Dynamic programming language

Precise client-side protection against DOM-based Cross-Site Scripting Ben Stock FAU Erlangen-Nuremberg Sebastian Lekies

Source URL: www.doc.ic.ac.uk

• Computing
• Software engineering
• Computer programming
• Functional languages
• Web programming
• HTML
• Hacking
• Cross-site scripting
• Ajax
• JavaScript
• Code injection
• HTTP cookie

Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner Department of Computing, Imperial College London {maffeis,pg}@doc.ic.ac.uk Abstract

Source URL: www.doc.ic.ac.uk

• Computing
• Data management
• Data
• Information
• Technical communication
• Process calculi
• File sharing
• Business intelligence
• Data integration
• Effi
• Database
• -calculus

1 Safe, Efficient and Robust SDN Updates by Combining Rule Replacements and Additions Stefano Vissicchio, Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computer programming
• Computing
• High-level programming languages
• Functional languages
• Cross-platform software
• Scripting languages
• JavaScript
• Web programming
• Scope
• Eval
• C Sharp

OWASP TopThe Ten Most Critical Web Application Security Risks https://owasp.org This work is licensed under a

Source URL: www.doc.ic.ac.uk

• Computer security
• Computing
• Cyberwarfare
• Computer network security
• Hacking
• Web applications
• OWASP
• Web application security
• Security
• Application security
• XML external entity attack
• SQL injection